State of Transformation
ثبت نشده
چکیده
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملON AN EXTENSION OF A QUADRATIC TRANSFORMATION FORMULA DUE TO GAUSS
The aim of this research note is to prove the following new transformation formula begin{equation*} (1-x)^{-2a},_{3}F_{2}left[begin{array}{ccccc} a, & a+frac{1}{2}, & d+1 & & \ & & & ; & -frac{4x}{(1-x)^{2}} \ & c+1, & d & & end{array}right] \ =,_{4}F_{3}left[begin{array}{cccccc} 2a, & 2a-c, & a-A+1, & a+A+1 & & \ & & & & ; & -x \ & c+1, & a-A, & a+A & & end{array} right], end{equation*} wher...
متن کاملAddressing the Causes and Failure for Financial Transformation while Achieving Business Alignment
The financial transformation journey is often addressed through trying to avoid the pitfalls associated with the causes of failure while leveraging the critical success factors. At best, Chief Financial Officers adopting this approach are likely to improve the degree of customer service experienced by Finance department. This is unlikely to lead to sustainable financial transformation being ach...
متن کاملInformation Communication Technologies in Agricultural Extension Delivery of Agricultural Transformation Agenda
The study examined the role of information communication technologies in extension delivery of Agricultural Transformation Agenda (ATA) of Nigeria. The objectives were to: examine the agricultural extension delivery of ATA; identify ICTs relevant in agricultural extension and application of ATA; examine roles of ICTs in extension of ATA and identify constraints to the use of ICTs in extensio...
متن کاملFrom the Lorentz Transformation Group in Pseudo-Euclidean Spaces to Bi-gyrogroups
The Lorentz transformation of order $(m=1,n)$, $ninNb$, is the well-known Lorentz transformation of special relativity theory. It is a transformation of time-space coordinates of the pseudo-Euclidean space $Rb^{m=1,n}$ of one time dimension and $n$ space dimensions ($n=3$ in physical applications). A Lorentz transformation without rotations is called a {it boost}. Commonly, the ...
متن کاملThe Decline of Community in Iran: A chronological story
The empirical data show a fundamental transformation in the fabric of the Iranian society in recent decades. The essence of this transformation is what we have called the “decline of community’, also labelled as the ‘depletion of social capital’, referring to the loss of social ties and the erosion of moral life which hold members of society together. In this article, drawing on a large volume ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017